"Scedrov A." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Categories, Allegories (North-Holland Mathematical Library)

P.J. Freyd, A. Scedrov

Категория: Математика, Прикладная математика

10.42 Mb

#2

Categories in Computer Science and Logic

John W. Gray, Andre Scedrov

Категория: Компьютеры

42.66 Mb

#3

Categories in computer science and logic

Gray J.W., Scedrov A. (eds.)

Категория: M_Mathematics, MA_Algebra, MAct_Category theory

2.89 Mb

#4

Harvey Friedman's research on the foundations of mathematics

L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson

Категория: Mathematics, Algebra, Mathematical logic

4.18 Mb

#5

Logic and Computer Science

S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks

1.04 Mb

#6

Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Scedrov A., Nerode A., Sacks G. E.

7.90 Mb

#7

Categories, allegories

P.J. Freyd, A. Scedrov

Категория: Category theory

2.67 Mb

#8

Logic and Computer Science. Lectures C.I.M.E

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Категория: Lecture notes

1.01 Mb

#9

Categories, allegories

P.J. Freyd, A. Scedrov

10.75 Mb

#10

Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002

Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa

Категория: CsLn_

7.27 Mb

#11

Categories, Allegories

P.J. Freyd, A. Scedrov

3.03 Mb